- definite clause
- Программирование: определенный дизъюнкт
Универсальный англо-русский словарь. Академик.ру. 2011.
definite clause
Смотреть что такое "definite clause" в других словарях:
Definite clause grammar — A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. DCGs are usually associated with Prolog, but similar languages such as Mercury also include… … Wikipedia
definite — adj. 1) definite about (she was definite about it) 2) definite that + clause (is it definite that they will sign the contract?) * * * [ defɪnɪt] definite that + clause (is it definite that they will sign the contract?) definite about (she was… … Combinatory dictionary
definite relative clause — a relative clause with a definite relative pronoun as subordinating word, as that they said in We heard the things that they said. * * * … Universalium
definite relative clause — a relative clause with a definite relative pronoun as subordinating word, as that they said in We heard the things that they said … Useful english dictionary
Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… … Wikipedia
Relative clause — A relative clause is a subordinate clause that modifies a noun. For example, the noun phrase the man who wasn t there contains the noun man , which is modified by the relative clause who wasn t there . In many languages, relative clauses are… … Wikipedia
relative clause — noun a clause introduced by a relative pronoun who visits frequently is a relative clause in the sentence John, who visits frequently, is ill • Hypernyms: ↑clause * * * noun 1. : an adjective clause introduced by a relative pronoun expressed or… … Useful english dictionary
relative clause — a subordinate clause introduced by a relative pronoun, adjective, or adverb, either expressed or deleted, esp. such a clause modifying an antecedent, as who saw you in He s the man who saw you or (that) I wrote in Here s the letter (that) I wrote … Universalium
DC-грамматика — Грамматика, построенная на определённых предложениях (сокр. DC грамматика, DCG; от англ. Definite clause grammar) это способ построения грамматики в логических языках программирования, например, Пролог. DC грамматика обычно… … Википедия
SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… … Wikipedia
Prolog (Programmiersprache) — Prolog Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell … Deutsch Wikipedia
